This paper shows how an efficient and parallel algorithm for inference in Bayesian Networks (BNs) can be built and implemented combining sparse matrix factorization methods with variable elimination algorithms for BNs. This entails a complete separation between a first symbolic phase, and a second numerical phase.

El contenido de la presente discusión de Análisis Filosófico surge a partir de diversas actividades organizadas por mí en SADAF y en la UBA. En primer lugar, Roy Cook dictó en SADAF el seminario de investigación intensivo On Yablo's Paradox durante la última semana de julio de 2011. En el seminario, el profesor Cook presentó el manuscrito aún sin finalizar de su libro The Yablo Paradox: An Essay on Circularity, Oxford, Oxford UP, (en prensa). Extensas y apasionantes discusiones ocurrieron (...) durante esos encuentros sobre circularidad y construcciones infinitarias. Fue en ese tiempo, donde me surgió la idea de editar una discusión sobre las ideas que Cook defiende en ese trabajo. El proyecto era una extensión natural del trabajo que veníamos realizando con mi grupo de investigación en temas vinculados al concepto de verdad, autorreferencia y paradojas. Luego, durante el segundo cuatrimestre de 2011, dicté el seminario La paradoja de Yablo, en el instituto de filosofía de la UBA. Algunos de los borradores de los artículos que aparecen en el presente volumen tienen su origen en este curso. Finalmente, invité por segunda vez al profesor Cook al Symposium on Yablo's Paradox realizado en SADAF en julio de 2012. En esta oportunidad, se presentaron las versiones finales de los artículos de Lavinia Picollo, Paula Teijeiro, Federico Pailos, Diego Tajer, Lucas Rosenblatt e Ignacio Ojea que se incluyen a continuación. El encuentro incluyó las inteligentes réplicas del profesor Cook y profundas discusiones sobre los mencionados temas lógicosemánticos. Quiero agradecer a todos los integrantes del Gaf[log] que participaron activamente en las mencionadas actividades, ya sea en la publicación posterior o en los coloquios y seminarios que le dieron origen. Agradezco al Comité editorial de Análisis Filosófico, en especial a Alberto Moretti, quienes apoyaron desde sus comienzos este proyecto. Finalmente, y de manera especial, quiero expresar mi gratitud al profesor Roy Cook, quien no sólo apoyó e inspiró el proyecto desde sus comienzos, sino que además compartió generosamente sus ideas y las discutió con estimulante pasión. (shrink)

Journal bearings play an important role on many rotating machines placed on industrial environments, especially in steam turbines of thermoelectric power plants. Babbitt damage (BD) and excessive clearance (C) are usual faults of steam turbine journal bearings. This paper is focused on achieving an effective identification of these faults through an intelligent recognition approach. The work was carried out through the processing of real data obtained from an industrial environment. In this work, a feature selection procedure was applied in order (...) to choose the features more suitable to identify the faults. This feature selection procedure was performed through the computation of typical testors, which allows working with both quantitative and qualitative features. The classification tasks were carried out by using Nearest Neighbors, Voting Algorithm, Naïve Associative Classifier and Assisted Classification for Imbalance Data techniques. Several performance measures were computed and used in order to assess the classification effectiveness. The achieved results (e.g., six performance measures were above 0.998) showed the convenience of applying pattern recognition techniques to the automatic identification of BD and C. (shrink)

Inauguration speech at chair number 18 of the Brasilian Academy of Philosophy.

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

Molinists offer a tempting bargain: accept divine middle knowledge, and reap solutions to a number of philosophical/theological problems. The prime benefit we are meant to reap from middle knowledge is a solution to the problem of freedom and providence. I argue that they cannot deliver. Even if we make metaphysical and semantic assumptions that have generally been considered friendly to Molinism, Molinism is in danger of undermining divine providence altogether. This “collapse" persists despite fairly uncontroversial assumptions, and plagues the best (...) Molinist theories defended in the literature. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

This article examines the application of the ought‐implies‐can principle in the legal domain, especially in the relationship between obligations and responsibility. It addresses the challenge of cases in which an agent cannot do what is required of her, and yet it seems plausible to say that she has an obligation. To deal with these cases, two parallel distinctions are made: between rules of conduct and rules of imputation, and between doings and things done. It is proposed that these distinctions show (...) that the principle operates in two different but complementary ways: as part of prescriptive relations and as part of responsibility practices. (shrink)

It is now the majority view amongst philosophers and theologians that any world could have been better. This places the choice of which world to create into an especially challenging class of decision problems: those that are discontinuous in the limit. I argue that combining some weak, plausible norms governing this type of problem with a creator who has the attributes of the god of classical theism results in a paradox: no world is possible. After exploring some ways out of (...) the paradox, I conclude that the classical theist should accept Marilyn Adams’s view that no norms apply to gods. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

In this paper I defend the “Standard View” of the semantics of ‘I’—according to which ‘I’ is a pure, automatic indexical—from a challenge posed by “deferred reference” cases, in which occurrences of ‘I’ are (allegedly) not speaker-referential, and thus non-automatic. In reply, I offer an alternative account of the cases in question, which I call the “Description Analysis” (DA). According to DA, seemingly deferred-referential occurrences of the first person pronoun are interpreted as constituents of a definite description, whose operator scopes (...) over an open sentence Rxy—where R is a contextually selected relation ranging over pairs of people and objects. The role of intentions is thus limited to the determination of R, which is posterior to the fixation of the reference of ‘I’. In support of the DA I present evidence that, in the cases in question, the (Determiner) phrase containing ‘I’ behaves in relevant ways like a description. I show that the DA can account for the problematic examples, while preserving the simplicity of the standard semantics of ‘I’. Finally, I examine a rival account of the data, offered by Nunberg (Linguist Philos 16:1–43, 1993), and argue for the superiority of the DA. (shrink)

I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow. In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to simplicity considerations. This, in turn, leads to the neglect of crucial cases in which the rationale for simplification is unmistakably (...) epistemic, as well as instances where simplicity is part of the content of substantive, empirical hypotheses. I illustrate these points with examples from the history of generative linguistics, such as: the shaping influence exerted by simplicity, via its involvement in the notion of “linguistically significant generalization”, its methodological and substantive contribution to the goal of explanatory adequacy, and its central role in the Minimalist Program’s search “beyond explanatory adequacy”. (shrink)

Recent work in the philosophy of religion has resurrected Leibniz’s idea that there is a best possible world, perhaps ours. In particular, Klaas Kraay’s [2010] construction of a theistic multiverse and Nevin Climenhaga’s [2018] argument from infinite value theory are novel defenses of a best possible world. I do not think that there is a best world, and show how both Kraay and Climenhaga may be resisted. First, I argue that Kraay’s construction of a theistic multiverse can be resisted from (...) plausible assumptions about set theory. Next, I argue against the value-theoretic assumptions that underlie Climenhaga’s argument and show how to give an infinite value theory where there is no best world. (shrink)

Erik Wielenberg [2014] and Mark Murphy [2017], [2018] have defended a series of arguments for the conclusion that creatures are not good intrinsically. In response, I take two steps. First, I introduce a conception of intrinsic value that makes created intrinsic value unproblematic. Second, I respond to their arguments in turn. The first argument is from the sovereignty-aseity intuition and an analysis of intrinsicality that makes derivative good extrinsic. I challenge the analysis. The second comes from a conception of perfection (...) where God exhausts all possibilities for goodness. I challenge this conception. The third comes from the contingency of creation and the internal logic of intrinsic value. I challenge the assumption that connects the two. I then present an argument from reference magnetism that the only conception of God, God's perfections, and religious language that makes it plausible that the sentence "God is intrinsically good and creatures are not" is true involves a strongly univocalist position. A view that is either unstatable or places strong demands on our conception of God, God's perfections and religious language thereby loses plausibility. (shrink)

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that such formalization (...) shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

This article deals with the cognitive relationship between a speaker and her internal grammar. In particular, it takes issue with the view that such a relationship is one of belief or knowledge (I call this view the ‘Propositional Attitude View’, or PAV). I first argue that PAV entails that all ordinary speakers (tacitly) possess technical concepts belonging to syntactic theory, and second, that most ordinary speakers do not in fact possess such concepts. Thus, it is concluded that speakers do not (...) literally ‘know’ or ‘believe’ much of the contents of their grammars, and moreover, that these contents can only be attributed at a subpersonal level. (shrink)

Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...) count against parsimony. I propose the expressive power innocence criterion: if the ideology of theory one is expressively equivalent to that of theory two, then neither is ideologically simpler than the other. In its favor I offer the argument from accuracy, showing that any account of a theoretical virtue that is supposed to make theories that have it more likely to be true than theories that do not must respect it. Next I consider its ramifications, eliminating rival views and passing judgment on some arguments from parsimony that can be found in the literature. Finally, I consider two objections. First: I address an objection arising from the possibility of languages with a ‘primitive’ operator that allows us to list a theory’s primitives in the object-language. Second: I address an objection raised by Nelson Goodman against attempts to reckon simplicity by expressive power. Both objections fail. (shrink)

Jim Sterba’s Is a Good God Logically Possible? looks to resurrect J. L. Mackie’s logical argument from evil. Sterba accepts the general framework that theists seeking to give a theodicy have favored since Leibniz invented the term: the search for some greater good provided or greater evil averted that would justify God in permitting the type and variety of evil we actually observe. However, Sterba introduces a deontic twist, drawing on the Pauline Principle (let us not do evil that good (...) may come) to introduce three deontic side constraints on God’s choice of action. He then splits the possible goods into four categories: first- vs. second-order goods, goods to which we have a right, and goods to which we do not have a right. He argues that his deontic constraints rule out each combination, thereby showing that no God-justifying good is on offer. To defuse the argument, I draw on a pair of ideas from Marilyn McCord Adams: (i) God is outside the bounds of morality, and (ii) God can defeat evils by incorporating them into an incommensurately valuable friendship with each human. Properly appreciated, these show that the new logical argument relies on a false premise that is not easily repaired. (shrink)

Extensionalism is, roughly, the view that perception occurs in episodes that are temporally extended (and thus capable of accomodating in their entirety phenomena taking a nonzero lapse of time to occur). This view is widely acknowledged to be incompatible with thin presentism, the second most popular position in temporal ontology. In this paper, I argue that extensionalism is also incompatible with several other positions in temporal ontology, namely those positing the existence of non-present times that host sentience—positions I collectively refer (...) to as the sentient non-present view. Most notably, extensionalism proves to be incompatible with B-theoretical eternalism, which is the most popular position in temporal ontology. (shrink)

This essay describes and analyzes the four versions of the biblical story of Abraham proposed by Johannes de Silentio (a pseudonym used by Kierkegaard) in Fear and Tremblingto understand, from the movement of faith, how in none of these versions is the absurdity that claims the leap of the religious realized. Next, we explain Kierkegaard’s views on ethics and selfhood to then delve into the inextricable paradox that faith signifies and the radical movement that it demands for the existent.

The Dead Past Growing Block theory of time—DPGB-theory—is the metaphysical view that the past and the present tenselessly exist, whereas the future does not, and that only the present hosts mentality, whereas the past lacks it and is, in this sense, dead. One main reason in favour of this view is that it is immune to the now-now objection or epistemic objection (which aims at undermining the certainty, within an A-theoretical universe, of being currently experiencing the objective present time). In (...) this paper, I examine the additional arguments offered by P. Forrest and G. A. Forbes to back the DPGB-theory and show that they do not work. I also examine a proposal to rescue the DPGB-theory suggested by an anonymous reviewer for this journal and argue that it does not work either. Moreover, in line with D. Braddon-Mitchell and against Forbes, I argue that the DPGB-theory is indeed committed to the existence of zombies in the past. Being ad hoc and burdened by a very odd and counterintuitive ontological commitment, the DPGB-theory turns out to be rather unpalatable. (shrink)

This article explores the metaphor of Science as provider of sharp images of our environment, using the epistemological framework of Objective Cognitive Constructivism. These sharp images are conveyed by precise scientific hypotheses that, in turn, are encoded by mathematical equations. Furthermore, this article describes how such knowledge is pro-duced by a cyclic and recursive development, perfection and reinforcement process, leading to the emergence of eigen-solutions characterized by the four essential properties of precision, stability, separability and composability. Finally, this article discusses (...) the role played by ontology and metaphysics in the scientific production process, and in which sense the resulting knowledge can be considered objective. (shrink)

In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...) and giving form to heuristic arguments. At the other hand, it is inherently difficult to control, lacking effective mechanisms needed for rigorous manipulation. Our discussion is illustrated with many examples from the Hebrew Bible, and some final examples from modern science. (shrink)

This article discusses some continuous limit cases of Susan Haack’s crossword puzzle metaphor for the coherent development and foundation of science. The main objective of this discussion is to build a bridge between Haack’s foundherentism and the epistemological framework of objective cognitive constructivism, including its key metaphor of objects as tokens for eigen-solutions. The historical development of chemical affinity tables is used to illustrate our arguments.

In his work on the open future, Patrick Todd outlines three models of how to deal with future contingents. These models must answer two questions: one metaphysical, about what facts there are in the world; one semantic, about how to deal with sentences involving ‘will.’ Model 1 has a privileged timeline. Model 2 has an actual future timeline but leaves it indeterminate which timeline that is. Model 3 has no future timeline. All three give will-sentences a modal treatement, as a (...) box over available futures. I will argue that Todd’s second model has problems and should be improved. The first is that it denies what Todd labels as the basic metaphysical intuition behind open-futurism. The second is that indeterminacy about the facts that characterize the actual timeline breaks through into indeterminate identity. I propose a fix to model 2 eliminating its actual future and resolving an issue that arises in applying the neutral semantics Todd endorses to indeterminate sentences. This improved model, I suggest, may even compare favorably to Todd’s preferred model 3. (shrink)

Este ensayo practica una hermenéutica a Totalidad e infinitoa partir de cinco epígrafes, abocados todos a explorar los múltiples sentidos de la propuesta levinasianaen torno al fundamentotrascendental de lo ético.El primer apartado busca analizar la relación entre lo que Lévinas designa como lafaz del sery el concepto de totalidad; en el epígrafe siguiente se explicita la diferencia existente, en el interior de la comprensión temporal de lo total, entre lohistóricoy loescatológico; en eltercerepígrafe se analizan los móviles que llevan a Lévinas (...) a sustituir lo metafísico por lo ético, revelando a este segundo saber como filosofíaprimera; y, finalmente, el cuarto y el quinto epígrafe quedan dedicados a entender dos conceptos que, entrelazados, condensan la matriz conceptual desde donde Lévinas acentúa la originalidad de su propuesta: el rostro del Otroy la idea de infinito. (shrink)

Temporal ontology is the philosophical debate on the existence of the past and the future. It features a three-way confrontation between supporters of presentism (the present exists, the past and the future do not), pastism (the past and the present exist, the future does not), and eternalism (the past, the present, and the future all exist). Most philosophers engaged in this debate believe that presentism is much more in agreement with common sense than the rival views; moreover, most of them (...) believe that being in agreement with common sense is epistemically valuable for a philosophical view. We studied experimentally non-experts’ ideas pertaining to the domain of temporal ontology, i.e., as we called it, common-sense temporal ontology, focusing on the Italian population. We found that a non-overwhelming majority of participants (~64%) favoured presentism, while two significant minorities favoured pastism (~19%) and eternalism (~17%). We think that our findings provide some support, albeit weaker than expected, for the view that presentism is more in agreement with common sense than the rival positions. (shrink)

This chapter will amount to a detailed exposition and exploration of one of the most prominent arguments against the existence of an unsurpassable world: the argument from addition. Endorsed by a variety of thinkers such as St. Thomas Aquinas, Alvin Plantinga, and William Rowe, the argument from addition uses the possibility of adding good things to a candidate unsurpassable world to argue that every world is surpassable. While widely endorsed, the argument has come under recent criticism. By carefully working through (...) a targeted version of the argument, I set out to establish the following: (i) that a world can always contain more good things; (ii) that a suitably restricted additive aggregation principle allows us to say that adding more good things in a certain way is an improvement, and (iii) that objections to the argument from widespread value incomparability fail. (shrink)

The authors propose a nested dissection approach to finding a fundamental cycle basis in a planar graph. The cycle basis corresponds to a fundamental null-space basis of the adjacency matrix. This problem is meant to model sparse null-space basis computations occurring in a variety of settings. An O(n3/2) bound is achieved on the nullspace basis size (i.e., the number of nonzero entries in the basis), and an O(n log n) bound on the size in the special case of grid graphs.

In this paper, I attempt to throw some light on modal realism. Since it is David Lewis who has put forward the best arguments for thar position, I focus on his work. In the first, I point out that his approach does not provide an adequate account for the intuitive lack of symmetry between the actual and the possible. To begin with, I try to show that the strategy of appealing to both the spatio-temporal network and causality is not at (...) all satisfactory. Secondly, I criticize the argument for modal realism that is based on theoretical benefits. Then, I defend the view that Lewis' indexical analysis of the concept of actuality does not satisfy his own criterion of acceptability: an analysis of actuality should account for the intuitions about our actual word. I claim thet Lewis' objections to other positions can be raised against his own position. Finally, I conclude that, even though Lewis is right in claiming that actualist conceptions do not explain why the possible is not part of the actual, the realist conception fail to account for the special ontological status that we intuitively grant to our own world. (shrink)

This article considers distinct ways of understanding the world, referred to in psychology as Functions of Consciousness or as Cognitive Modes, having as the scope of interest epistemology and natural sciences. Inspired by C.G. Jung's Simile of the Spectrum, we consider three basic cognitive modes associated to: (R) embodied instinct, experience, and action; (G) reality perception and learning; and (B) concept abstraction, rational thinking, and language. RGB stand for the primary colors: red, green, and blue. Accordingly, a conceptual map between (...) cognitive modes and primary and secondary colors is built based on the physics and physiology of color perception and epistemological characteristics of the aforementioned cognitive modes, leading to logical relations structured as an Hexagon of Opposition. Finally, this model of cognitive modes is applied to the analysis and interpretation of some important episodes in the historical development of physics and technology. (shrink)

This work analyzes how the internal point of view, which represents the perspective of the participant in the legal domain, can be understood within a Hartian framework. It critically examines how legal conventionalism has dealt with this issue. In particular, it criticizes the way in which contemporary conventionalists represent the perspective of participants in legal practice on the basis of cognitive mental states. It also criticizes the way in which they understand how the rule of recognition constitutes the practice. To (...) address these problems, a model based on the philosophy of recognition is presented, showing how its historicity and the way it understands conflict may help to represent the participants' perspective from a practical point of view. (shrink)

This article analyses some theses developed by John Gardner that deal with the relations between different concepts of responsibility and how these are useful for understanding the relationships between agency, reasons, and responsibility practises. In the first two sections, the text introduces the Aristotelian view developed by John Gardner, focussing on how he understood the relationships between the concepts of basic responsibility, consequential responsibility and prospective responsibility. Sections III. and IV. then review two challenges that arise from the author's treatment (...) of the concept of basic responsibility. The first is the difficulty of understanding some types of responsibility and the second is how we can make sense of the role of excuses in our responsibility practises. Finally, some philosophical tools that Gardner developed in his last works are presented in order to deal with those challenges. / -/- This is a preprint version. (shrink)

Is there any interesting sense in which we can speak of an act as 'evil', in contrast to simply "morally bad' or "immoral"? In ordinary language, we typically judge actions as evil that somehow differ significantly, in terms of degree or intensity, from commonplace wrongdoing. If taken to an extreme, however, this view simply reduces the difference between evil and immoral acts to a mere quantitative analysis. At worst, it leads to a wholly trivial account of evil as just those (...) actions we tend to regard as "really bad". In this paper, I outline a distinctively Kantian theory of evil that instead defends a fundamental qualitative difference between evil and more ordinary immoral actions, locating the main distinction in terms of the structure of the agent's will itself Broadly understood, this strategy endorses a Kantian account of "evil as dehumanization" in which a "material" -- as opposed to purely "formal" -- difference exists between the respective maxims of the immoral and the evil agent. In such instances, unlike typical cases of Kantian immoral actions, direct violation of another person's humanity qua human somehow comprises a necessary part of the "material object" of an evil agent's will. (shrink)

In a series of recent papers Francesco Orilia has presented an argument for the moral desirability of presentism. It goes, in brief, as follows: since the existence of painful events is morally undesirable, presentism, which denies that past painful events (tenselessly) exist, is morally more desirable than non-presentism, which instead affirms that past painful events (tenselessly) exist. An objection against this argument, which has already been taken into consideration by Orilia, is the ugly history objection or radical objection: what really (...) matters in the moral appraisal of a world is the history of it, and since the presentist and the non-presentist versions of our world share the same ugly history, they are morally on a par. This paper aims at corroborating this objection and defending it from Orilia’s criticisms. This will be done by bringing into play various thought experiments and a distinction between relevance (of an event or a fact about the occurrence of an event) to the moral evaluation of a world and moral (and psychological) involvement (in an event or in a fact about the occurrence of an event). (shrink)

Recent analytic theology has seen a wave of excellent work on the fundamental problem of Christology, the question of how one and the same person can be human full stop and divine full stop. Along the way, new objections have been raised for a venerable family of Christological views, whose distinctive is the employment of qua-devices to dissolve the difficulties stemming from the dual nature doctrine of Chalcedon and its successors. My objective in this article is twofold. First, I propose (...) to lay out a hierarchy of principles that should guide the search for a Christological theory. I then use these principles to illuminate the best qua-theoretic approach to Christology. Finally, I argue that the best qua-theory is at worst on a par with major recent views. (shrink)

Epicurus (in)famously argued that death is not harmful and therefore our standard reactions to it (like deep fear of death and going to great lengths to postpone it) are not rational, inaugurating an ongoing debate about the harm of death. Those who wish to resist this conclusion must identify the harm of death. But not any old harm will do. In order to resist both the claim that death is not harmful and the claim that our standard reactions to it (...) are irrational, we must identify a harm associated with death that rationalizes our standard reactions. We can divide the potential harm properties death might have along two axes: intrinsic/extrinsic and instrumental/final. This gives us four places to search for the harm of death. I argue that it is nowhere to be found. (shrink)

Thomas Aquinas wrote a text later known as Quaestio de attributis and ordered it inserted in a precise location of his Commentary on the Sentences of Peter Lombard more than a decade after composing this work. Aquinas assigned exceptional importance to this text, in which he confronts the debate on the issue of the divine attributes that swept the most important centres of learning in 13th Century Europe and examines the answers given to the problem by the representatives of the (...) four mainstream schools of his time: the Greek mystic Dionysius Areopagita, the Latin Saint Anselm of Canterbury, the Jewish rabbi Moses Maimonides and the Muslim philosopher Ibn Sina. This in-depth study of Thomas Aquinas’ Quaestio de attributis (In I Sent., d. 2, q. 1, a. 3) binds together the findings of previous research on the unique history of this text by reconstructing the historical circumstances surrounding its composition, shows that the Quaestio contains Aquinas’ final answer to the dispute on the divine attributes, and thoroughly examines his interpretation of Maimonides’ position on the issue of the knowledge of God by analysing this and other texts related to it chronologically and doctrinally. The examination of the Quaestio reveals the background of Thomas Aquinas’ renewed interest in Maimonides’ position on the issue and brings to light elements of Aquinas’ interpretation that are absent from his earlier references to Maimonides. Moreover, the chronological and doctrinal connection of the Quaestio de attributis to other Thomistic works with explicit references to Maimonides enables a reconstruction of his comprehensive approach to Maimonides’ teaching on the possibility and extent of the knowledge of God in the Guide of the Perplexed and highlights the place of Maimonides’ philosophical teachings in Thomas’ own thought in issues like "Being" as the proper name of God, the multiplicity of the divine names, the beatific vision in the afterlife, the causes that prevent the instruction of the multitude in divine matters and the role of faith and prophecy in the acquisition of the true knowledge of God in this life. The last chapter examines the reasons behind Aquinas’ silencing of Maimonides’ name when introducing his Five Ways for the knowledge of the existence of God, in spite of the evident relation between these and Maimonides’ Four Speculations. The study is completed with an extensive appendix that includes the text of the Quaestio de attributis with an English translation and the critical edition of several chapters of the 13th Century Latin translation of the Guide of the Perplexed known as Dux neutrorum. (shrink)

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...) paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)

From 1912, Alejandro Korn and José Ingenieros began to publish articles that then would be part of their historical works, respectively, Influencias filosóficas en la evolución nacional and La evolución de las ideas argentinas. Therefore, they started to generate some discussion in reference to sections that they knew of each other's work. Being the first major works from a developing philosophical field about the history of Argentine thought, their authors sought to create cultural traditions to affirm their own academic, cultural (...) and political positions. Thus, they based their positions about their academic situation through their interventions in the debate on the evaluation of the various features of the intellectual past of the country and national identity during the academic professionalization of historical studies, and actively participated in discussions on the function of culture and philosophy in a national project. Yet, besides, in order to address their history of ideas, the two most important teachers of the philosophical sphere around 1918 tested very different methodological approaches that worked under different conceptions of philosophical and historical practice and two different ways of thinking the reception and circulation of ideas from Europe. (shrink)

Abstract: The present text compare the concepts of Spirit and Dialectic in Hegel's Phenomenology of Spirit and Kierkegaard's Sikness unto Death respectively. For this, the clarifications made by one author and the other of the concepts to be compared are taken, as a starting point, in order to detect whether or not these concepts have some kind of relationship that serves to bring german and danish closer together. -/- .

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our theory (...) to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)